🔬 Static Analysis - hello · Scour

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 👻Phantom Types

arxiv.org·2d·

Codacy for Python: Code Quality and Static Analysis 📦uv

dev.to·3d·DEV·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🦀Rust

kerkour.com·1d·

The Type Theorists need to take a look at Zig 📐Type Theory

pure-systems.org·6d·Hacker News·

What makes a programming language whole? 🔨Compiler Design

siru.ink·2d·

Optimizing for Understanding 🔨Incremental Compilation

blog.br11k.dev·1d·Hacker News·

Codacy vs Coverity: Cloud Quality vs Enterprise SAST 📡SonarQube

aicodereview.cc

·3d·DEV·

Runtime type checking is great (2023) 🎯Escape Analysis

blog.jez.io·2d·Lobsters·

Rust's next-generation trait solver ⚡Ruff

lwn.net

·3d·

Challenges of specifying and compiling gas-fueled languages 🎯Escape Analysis

rubber-duck-typing.com·1d·Hacker News·

aaka3h/lang: A programming language built from scratch in C — lexer, parser, bytecode compiler, and stack VM 🔨Compilers

github.com·5d·DEV·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Macros

arxiv.org·2d·

Symbols Not Chunks: 3.9x Less Tokens 🍱Nom

dev.to·5d·DEV·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 🎭Program Synthesis

github.com·5d·Hacker News·

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis 🔎Valgrind

arxiv.org·2d·

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving 🕰️Hybrid Logical Clocks

arxiv.org·2d·

Rust's next-generation trait solver 🦀Rustc Internals

lwn.net·3d·Lobsters, Hacker News, r/programming·

WybeCoder: Verified Imperative Code Generation 🏗️Pavex

arxiv.org·1d·

Bridging Code Property Graphs and Language Models for Program Analysis 🌳Tree-sitter

arxiv.org·6d·

Optimizing for understanding 🔨Incremental Compilation

dev.to·1d·DEV·

Loading more...